Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
331	A Case Study of Expressively Constrainable Level Design Automation Tools for a Puzzle Game Adam M. Smith∗† , Erik Andersen† , Michael Mateas∗ , Zoran Popovi´c† ∗ † Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:50 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Puzzle Answer set programming Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Constraint programming Mathematics
332	Anza Island: Novel Gameplay Using ASP Kate Compton Adam Smith Michael Mateas Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:51 Games Constraint programming Logic programming Programming paradigms Procedural generation Answer set programming Constraint satisfaction Open world Guitar Hero Video game design Video game development Software
333	Programming and Validation Techniques for Reliable Goal-driven Autonomic Software Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer and Bjarne Stroustrup Abstract 1 Future space missions such as the Mars Science Labora Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Software engineering Compiler optimizations Formal methods Logic in computer science Parallel computing Local consistency Actor model Reliability engineering Automatic parallelization Theoretical computer science Computing Constraint programming
334	A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed] Add to Reading List Source URL: lion.disi.unitn.it Language: English - Date: 2012-12-21 02:59:42 Constraint programming Logic in computer science Logic programming Programming paradigms Constraint logic programming Constraint satisfaction Boolean satisfiability problem Horn clause Prolog Theoretical computer science Declarative programming Software engineering
335	Computational Logic WWW Programming Using LP/CLP Systems 1 LP/CLP, the Internet, and the WWW Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2006-11-22 18:19:49 Scripting languages Computer programming Programming paradigms Constraint programming Common Gateway Interface Prolog CLP Form Batch file Computing Software engineering World Wide Web
336	Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed] Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-10-01 08:14:56 Logic in computer science NP-complete problems Boolean algebra Constraint programming Electronic design automation Maximum satisfiability problem Boolean satisfiability problem 2-satisfiability Resolution Theoretical computer science Mathematics Applied mathematics
337	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
338	Microsoft PowerPoint - picat_tutorial Add to Reading List Source URL: picat-lang.org Language: English - Date: 2014-05-26 11:54:31 Prolog Constraint programming Programming paradigms Procedural programming languages List comprehension Oz Logic programming Dynamic programming ALGOL 68 Software engineering Computing Computer programming
339	JaCoP Library User’s Guide Krzysztof Kuchcinski and Radosław Szymanek Version 4.0, May 12, 2014 Add to Reading List Source URL: jacop.osolpro.com Language: English - Date: 2014-05-18 16:17:00 Computer programming JaCoP ECLiPSe Constraint satisfaction Constraint logic programming Constraint programming Declarative programming Software engineering

UPDATE